<?php
#indica Que se va a utilizar Sessiones!
session_start();
#Cierra la session!
session_unset($_SESSION['CODIGO_USUARIO']);
header ("Location: ../index.html");

?>